[IA64] Make VTI domain boot
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Thu, 27 Apr 2006 02:55:42 +0000 (20:55 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Thu, 27 Apr 2006 02:55:42 +0000 (20:55 -0600)
commit9e385cdd2fce38b43a5ac1fd0f2ea0e8745abd1d
tree6a66f1ca14efd2fd81490952afc37cd39cfe3b36
parent7a72b7c50b7c1f9d04db27bc0e68f59017e42b1d
[IA64] Make VTI domain boot

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
Signed-off-by: Anthony Xu <anthony.tian@intel.com>
xen/arch/ia64/xen/domain.c